1
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang, Richard Char-Tung Lee
Năm:
1973
Ngôn ngữ:
english
File:
PDF, 12.74 MB
0 / 5.0
english, 1973
2
Communications engineering : essentials for computer scientists and electrical engineers

Communications engineering : essentials for computer scientists and electrical engineers

Chiu, Mao-Ching, Lee, Richard Char-Tung, Lin, Jung-Shan
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 5.31 MB
0 / 0
english, 2007
3
Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

Chin-Liang Chang, Richard Char-Tung Lee
Năm:
1973
Ngôn ngữ:
english
File:
DJVU, 2.39 MB
0 / 0
english, 1973
4
Introducción al diseño y análisis de algoritmos: un enfoque estratégico

Introducción al diseño y análisis de algoritmos: un enfoque estratégico

Richard Char-Tung Lee, YT Tsai, RC Chang, Hugo Villagómez Velázquez, SS Tseng
Năm:
2007
Ngôn ngữ:
spanish
File:
PDF, 18.57 MB
0 / 4.0
spanish, 2007